业务流程建模中流程校验的研究与实现

随着计算机网络技术的迅速发展,企业的信息化程度不断提高,以自动化流程为核心理念的工作流管理系统应用越来越普及,对工作流管理系统的可靠性和正确性要求也越来越高.提出了一种工作流建模时的验证方法:在工作流管理系统的工作流建模环境中加入流程验证模块,对建模过程中可能产生的错误进行验证,进而建立简洁实用的流程;通过分析流程中的异常和失败的类型,增强系统的纠错能力,减少引擎处理的压力;对有着特殊应用的建模过程,能够方便地添加自定义的验证条件,为流程的正确运行提供有效的保障;向基于规则化的工作流系统提供建模完整性的方案,获得系统工作流的稳健性.     

基于信息流的中枢疲劳脑电分析

为充分利用多导脑电信息,首次提出运用有向传递函数（DTF）方法,对不同中枢疲劳状态下导联间信息流的强度和方向的变化进行分析。研究结果表明,脑电功能耦合中额一到一顶方向的信息流是大脑皮层联系的一个固有特征,可以有效地刻画安静清醒和疲劳两个状态,长时间脑力劳动任务引起中枢疲劳的增加,进而导致整个频率段占优势的信息流的方向发生了反转,信息流占优势的方向从实验前的顶一到一额方向,转变为实验后的额一到一顶方向。     

数值模拟类升力体外形高超声速粘性绕流

采用空间二阶精度的交替方向隐式分解的NND格式求解完全气体假定下的非定常薄层近似Navier Stokes方程 ,并采用抛物化的椭圆型方程生成复杂带翼外形的空间网格。最后给出了类升力体外形在M∞ =8 0 ,α =2 0°下的流场计算结果。     

气体化学反应速率的 DSMC 方法

为预报化学反应过程,应用ＤＳＭＣ方法研究了双原子分子的离解反应,讨论了高温情况下（Ｔ～Ｅａ／ｋ）采用由实验测定得到的反应速率与气体温度间Ａｒｒｈｅｎｉｕｓ经验关系式的可靠性问题,分析了振动热非平衡效应对于离解反应速率的影响,给出了由ＤＳＭＣ方法得到的离解反应速率与气体温度的关系曲线。     

试论对抗模拟的基本原理

对抗模拟是作战模拟中的一种重要方法,文章就其基本原理作了系统深入的探讨.通过中外专家的论述,阐述了对抗模拟概念的关键要素.通过对信息流动的分析,进一步剖析了对抗模拟的内涵.对抗模拟这种作战模拟形式具有仿真性、拟剧性、博弈性和不可重复性等特征.按照层次、信息提供的方式、结果评价的方式、实施的方式、运用的工具以及地域等区分了不同类型的对抗模拟.对抗模拟需要的关键仿真技术包括分布交互仿真、人工智能、虚拟现实以及信息网格等方面.     

军用安全模型扩展及其应用

在分析基于格理论的信息流控制军用安全模型在实际应用中存在的不足的基础上,从安全类定义和信息流控制策略两个方面对原模型进行了理论扩展和安全性分析.扩展模型安全类在作为对象和主体时具有相同的表达方式,以及在保持原模型信息流关系情况下,允许同职权等级用户交流他们共知的信息,以及高职权等级用户访问低职权等级用户他们之间共知的信息.以数字文档安全管理系统为例对扩展模型应用进行了描述.实例表明扩展模型更适合实际系统对信息流控制的要求.     

气—固两相自由射流的粒子仿真方法

采用粒子仿真方法直接跟踪颗粒相运动轨迹,采用NND格式求解NS方程,数值模拟了气-固两相自由射流流场.计算结果表明,将粒子仿真与CFD方法相结合是研究气-固两相流动问题的有效途径.颗粒相参数变化将对气体流场产生一定影响.     

无箔二极管中引导磁场对电子回流的影响

无箔二极管中电子回流是造成绝缘子表面闪络的重要因素 ,用Maxwell方程和电子运动方程定性分析了电子束回流的可能性 ,采用PIC方法模拟了无箔二极管中电子束回流的物理过程 ,由此提出了对引导磁场和阴阳极结构进行优化设计的建议。     

水力旋流器湍流场数值模拟

应用CFD软件FLUENT对水力旋流器进行三维数值模拟，并对网格生成技术、湍流模型、离散方法及边界条件等问题进行了探讨。数值模拟所获得的轴截面上的压力场和速度分布规律与前人的研究结果基本吻合，验证了数值模拟的可行性。为进一步研究水力旋流器的结构优化和分离性能预测提供参考。     

三维高超音速复杂流场的分区数值计算

基于拼接网格系统 ,推导了一种适用于高超音速复杂流场分区数值计算的区域边界格式 ,通过区域边界格式对区域边界上的通量进行守恒性处理 ;在此基础上 ,发展了一个高超音速复杂流场分区算法。对高超音速粘性绕流流场进行了分区数值模拟 ,取得了较好的结果。